Адміністрація вирішила продати даний сайт. За детальною інформацією звертайтесь за адресою: rozrahu@gmail.com

Властивості мереж Петрі.

Інформація про навчальний заклад

ВУЗ:
Національний університет Львівська політехніка
Інститут:
Не вказано
Факультет:
Не вказано
Кафедра:
Системи автоматизованого проектуваня

Інформація про роботу

Рік:
2006
Тип роботи:
Лабораторна робота
Предмет:
Системний аналіз
Група:
КН-3

Частина тексту файла

Міністерство освіти і науки України Національний університет «Львівська політехніка» Львів, 2006р. ЗВІТ До лабораторної роботи №1 На тему «Властивості мереж Петрі.» З курсу СА Роботу виконав: Ст. гр. КН. – 3  SHAPE \* MERGEFORMAT Кафедра САПР  1. МЕТА РОБОТИ Мета роботи – ознайомититися з основними властивостями мереж Петрі.. 2. КОРОТКІ ТЕОРЕТИЧНI ВIДОМОСТI Модель — це представлення, як правило, у математичних термінах найхарактерніших рис об'єкту або системи, що вивчається. Для побудови складних систем обробки інформації та моделювання асинхронних інформаційних потоків потрібна математична модель, зручна в описі керування роботою таких систем. Історично першою для такого моделювання використовувалася теорія автоматів. Автомати застосовують для моделювання послідовних алгоритмічних систем — коли система (автомат) послідовно переходить зі стану в стан відповідно до заданої функції переходу і здійснює наступний крок алгоритму. Але існують і неалгоритмічні паралельні системи з недетермінованою поведінкою, в якій компоненти функціонують незалежно і взаємодіють час від часу. Прикладами таких систем є багатопроцесорні обчислювальні машини, паралельні програми, що моделюють паралельні дискретні системи, мультипрограмні операційні системи. Такі системи не описуються адекватно в термінах класичної теорії автоматів. Наприклад, неможливо описати ці системи за допомогою таких термінів, як стан автомату, глобальна функція переходу. Мережі Петрі (МП) це інструмент для математичного моделювання і дослідження складних систем. Мета представлення системи у вигляді мережі Петрі і подальшого аналізу цієї мережі полягає в отриманні важливої інформації про структуру і динамічну поведінку модельованої системи. Ця інформація може використовуватися для оцінки модельованої системи і вироблення пропозицій по її удосконаленню. Вперше мережі Петрі запропонував німецький математик Карл Адам Петрі [1]. 2.1. Природа систем, які моделюються мережами Петрі. Мережі Петрі призначені для моделювання систем, які складаються з безлічі компонент, які взаєодіють між собою. При цьому компонента сама може бути системою. Діям різних компонент системи властивий паралелізм. Прикладами таких систем можуть бути обчислювальні системи, у тому числі і паралельні, комп'ютерні мережі, програмні системи, що забезпечують їх функціонування, а також економічні системи, системи управління дорожнім рухом, хімічні системи тощо. Мережі Петрі притаманні такі риси: МП використовується для опису модельованої системи, і це може бути застосовано для специфікацій (для побудови систем) або опису системи. Поведінку МП можна проаналізувати як моделюванням (що еквівалентно виконанню програми та її налагодженню), так і формальнішими методами аналізу (що відповідає програмній перевірці). Процес створення опису та виконання аналізу допомагає краще зрозуміти модельовану систему самому моделювальнику. 2.2. Підходи до проектування систем за допомогою МП. Мережі Петрі використовуються, як допоміжний інструмент аналізу в одному з підходів до проектування і аналізу систем. Тут для побудови системи використовуються загальноприйняті методи проектування. Потім побудована система моделюється за допомогою мереж Петрі, і модель аналізується. Якщо в ході аналізу у проекті знайдені недоліки, то з метою їх усунення проект модифікується. Модифікований проект потім знову моделюється і аналізується. Даний цикл повторюється доти, доки аналіз, що проводиться, не приведе до успіху. Інший підхід передбачає побудову проекту одразу у вигляді мереж Петрі. Методи аналізу застосовуються мережі для створення проекту, що не мережі помилок. Потім мережі Петрі перетвориться в реальну робочу систему. У першому випадку необхідна розробка методів моделювання систем мережами Петрі, а у другому випадку повинні бути розроблені методи реалізації мереж Петрі системами. ОСНОВНІ ВИЗНАЧЕННЯ 2.3. Теоретико-множинне визначення мереж Петрі. Нехай мультимножина це множина, яка допускаєе входженн...
Антиботан аватар за замовчуванням

01.01.1970 03:01

Коментарі

Ви не можете залишити коментар. Для цього, будь ласка, увійдіть або зареєструйтесь.

Завантаження файлу

Якщо Ви маєте на своєму комп'ютері файли, пов'язані з навчанням( розрахункові, лабораторні, практичні, контрольні роботи та інше...), і Вам не шкода ними поділитись - то скористайтесь формою для завантаження файлу, попередньо заархівувавши все в архів .rar або .zip розміром до 100мб, і до нього невдовзі отримають доступ студенти всієї України! Ви отримаєте грошову винагороду в кінці місяця, якщо станете одним з трьох переможців!
Стань активним учасником руху antibotan!
Поділись актуальною інформацією,
і отримай привілеї у користуванні архівом! Детальніше

Оголошення від адміністратора

Антиботан аватар за замовчуванням

пропонує роботу

Admin

26.02.2019 12:38

Привіт усім учасникам нашого порталу! Хороші новини - з‘явилась можливість кожному заробити на своїх знаннях та вміннях. Тепер Ви можете продавати свої роботи на сайті заробляючи кошти, рейтинг і довіру користувачів. Потрібно завантажити роботу, вказати ціну і додати один інформативний скріншот з деякими частинами виконаних завдань. Навіть одна якісна і всім необхідна робота може продатися сотні разів. «Головою заробляти» продуктивніше ніж руками! :-)

Новини